type fn = (@as("something") ~foo: string) => int